#include "../system.h"
#include "../glo.h"

#if USE_GETPOLICY

/*===========================================================================*
 *			      do_getpolicy				     *
 *===========================================================================*/
PUBLIC int do_getpolicy(m_ptr)
message *m_ptr;			/* pointer to request message */
{    
    /* print current state of scheduling algorithm */
    
    printf("Current scheduling algorithm: \n");
    
    if(lotteryOn == 1)
    {
        printf("Lottery (created by Jan Kuehni, Andrea Liechti and Christian Fries\n");
    }
    else {
        printf("Built-in scheduling\n");
    }
    
    return(OK);
}
#endif /* USE_GETPOLICY */

